Search for: All records

The ellipsoidal capacity function of a symplectic four manifoldXmeasures how much the form onXmust be dilated in order for it to admit an embedded ellipsoid of eccentricityz. In most cases there are just finitely many obstructions to such an embedding besides the volume. If there are infinitely many obstructions,Xis said to have a staircase. This paper gives an almost complete description of the staircases in the ellipsoidal capacity functions of the family of symplectic Hirzebruch surfacesH_{b}formed by blowing up the projective plane with weightb. We describe an interweaving, recursively defined, family of obstructions to symplectic embeddings of ellipsoids that show there is an open dense set of shape parametersbthat are blocked, i.e. have no staircase, and an uncountable number of other values ofbthat do admit staircases. The remainingb-values form a countable sequence of special rational numbers that are closely related to the symmetries discussed in Magill–McDuff (arXiv:2106.09143). We show that none of them admit ascending staircases. Conjecturally, none admit descending staircases. Finally, we show that, as long asbis not one of these special rational values, any staircase inH_{b}has irrational accumulation point. A crucial ingredient of our proofs is the new, more indirect approach to using almost toric fibrations in the analysis of staircases by Magill (arXiv:2204.12460). In particular, the structure of the relevant mutations of the set of almost toric fibrations onH_{b}is echoed in the structure of the set of blockedb-intervals. 

Abstract The ellipsoid embedding function of a symplectic manifold gives the smallest amount by which the symplectic form must be scaled in order for a standard ellipsoid of the given eccentricity to embed symplectically into the manifold. It was first computed for the standard four‐ball (or equivalently, the complex projective plane) by McDuff and Schlenk, and found to contain the unexpected structure of an “infinite staircase,” that is, an infinite sequence of nonsmooth points arranged in a piecewise linear stair‐step pattern. Later work of Usher and Cristofaro‐Gardiner–Holm–Mandini–Pires suggested that while four‐dimensional symplectic toric manifolds with infinite staircases are plentiful, they are highly nongeneric. This paper concludes the systematic study of one‐point blowups of the complex projective plane, building on previous work of Bertozzi‐Holm‐Maw‐McDuff‐Mwakyoma‐Pires‐Weiler, Magill‐McDuff, Magill‐McDuff‐Weiler, and Magill on these Hirzebruch surfaces. We prove a conjecture of Cristofaro‐Gardiner–Holm–Mandini–Pires for this family: that if the blowup is of rational weight and the embedding function has an infinite staircase then that weight must be . We show also that the function for this manifold does not have a descending staircase. Furthermore, we give a sufficient and necessary condition for the existence of an infinite staircase in this family which boils down to solving a quadratic equation and computing the function at one specific value. Many of our intermediate results also apply to the case of the polydisk (or equivalently, the symplectic product of two spheres).